//
// Created by max on 9/17/23.
//

#ifndef OS_SAMPLE_TIMER_H
#define OS_SAMPLE_TIMER_H
#include "../lib/kernel/stdint.h"
void timer_init(void);
#endif //OS_SAMPLE_TIMER_H
